
\section{Success Criteria}

\subsection{Previous Edition}

This is the proposal for the second edition of VOLT. The first edition was also co-located with the International Conference on Software Testing, Verification and Validation (ICST), and took place last year in April. It was organised by Eugene Syriani (also organiser of the current edition), Levi L\'ucio and Stephan Weissleder.
In total, 7 papers were submitted to the first edition and 5 were accepted after a thorough peer-review process involving 4 reviewers per paper.
The paper presentations were preceded by a very interesting keynote given by Pieter Mosterman from The Mathworks.
The quality of the papers was tremendous and attracted over 30 attendants during the day of the workshop.

This shows that VOLT's topics interest many researchers. The ICST community provided interesting contributions to the field of model transformation verification. However, we think that a more natural forum for VOLT is ECMFA due to the fact that the ECMFA community is especially concerned with the specific challenges arising in MDD and is also covering mostly all of the founders/contributors of/to model transformation approaches. In addition, we expect further interest from the ECOOP community that is concerned with the verification of object-oriented programs that may raise interesting inter conference discussions. A particular sign for such synergies between the communities is the already accepted workshop on ``Formal Techniques for Java-like Programs''\footnote{\url{http://types.cs.washington.edu/ftfjp2013/}} that may be a good opportunity to establish bridges between the different communities working on verification but for different kinds of programs.

In order to increase the visibility of the workshop (and in order to manage potential conflicts of interests), we have a more diversified and extended organization team than for the first edition. By this, we hope to reproduce the same impact as last year's edition and increase the number of submissions.


\subsection{Success Criteria}

The criteria for the success of VOLT 2013 are, but not restricted to:
the submission of at least 12 papers;
the attendance of at least 20 persons;
the production of a taxonomy of model transformation verification techniques;
the production of a study on relevant properties of model transformations from a practical point of view.
